Countable subgroups of Euclidean space

In his paper [1], Konstantinos Beros proved a number of results about compactly generated subgroups of Polish groups. Such a group is Kσ, the countable union of compact sets. He notes that the group of rationals under addition with the discrete topology is an example of a Polish group which is Kσ (since it is countable) but not compactly generated (since compact subsets are finite). Beros showed that for any Polish group G, every Kσ subgroup of G is compactly generated iff every countable subgroup of G is compactly generated. He showed that any countable subgroup of Z (infinite product of the integers) is compactly generated and more generally, for any Polish group G, if every countable subgroup of G is finitely generated, then every countable subgroup of G is compactly generated. In unpublished work Beros asked the question of whether “finitely generated” may be replaced by “compactly generated” in this last result. He conjectured that the reals R under addition might be an example such that every countable subgroup of R is compactly generated but not every countable subgroup of R is compactly generated. We prove (Theorem 4) that this is not true. The general question remains open. In the course of our proof we came up with some interesting countable subgroups. We show (Theorem 6) that there is a dense subgroup of the plane which meets every line in a discrete set. Furthermore for each n there is a dense subgroup of Euclidean space R which meets every n− 1 dimensional subspace in a discrete set and a dense subgroup of R which meets every finite dimensional subspace of R in a discrete set.